/*
 * DevicesTimer.h
 *
 */

#ifndef DEVICESTIMER_H_
#define DEVICESTIMER_H_


void vTime0Init(void);
void vTime2Init(void);
void vTime3Init(void);
void vTime4Init(void);

void vTimer0Interrupt(void);
void vTimer2Interrupt(void);
void vTimer3Interrupt(void);
void vTimer4Interrupt(void);

#endif /* DEVICESTIMER_H_ */
